arc length and proportionality